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