Both, the file was not distributed. I've shipped the fix15o1 today, which of course doesn't mean you'll get it today but the problem should eventually disappear. Eric