run tests on a 64-bit machine