make these tests 64-bit ready