Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-08-20 17:28:08 -0700 (Sun, 20 Aug 2006)
Revision: 9505
Log message:

      Better "source file is shadowed by a stale binary file" error message.