revert back to 32bit on windows