fix a test that was broken on 32-bit systems