fix for the tests on 32bit