Fix MS-Windows build following 2012-11-21T21:06:52Z!eggert@cs.ucla.edu.