Finish win64.mak support for the 32mscoff model

Ping @rainers 
> I think ProgramFiles(x86) is not set on 32-bit systems.

Actually, $(ProgramFiles) works just fine. It translates correctly because make.exe is a 32-bit program.