Fix the MS-Windows build broken by 2011-05-06T07:13:19Z!eggert@cs.ucla.edu.