Fix for windows 32 bit