Make sure test works on 32-bit platforms