BUG: fix testing on windows 32 bits.