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