Fix gcc_alias of WIN32

A critical change for windows 32-bit machines
(All of the windows_32 binaries before this patch are wrong).