windows.c: fix some 64-bit cleanness warnings.

These came from Visual Studio, and seem to be real problems - we're
casting pointers to 32-bit integers, which surely only works by luck
of address-space allocation.