Fix testsuite on 32-bit machines