fix-32bit-tests
