Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-07-07 16:33:04 -0700 (Fri, 07 Jul 2006)
Revision: 9428
Log message:

      - Do not insist on being able to rename the tmp file into .dat if .dat already
        exists (Win32 fix).
      
      - Use "open" instead of "include" for the system build library.