Fix MS-Windows build broken by latest Makefile.in changes.