fixes to 32bit range allocations on windows