Attempt to fix build on 32-bit Travis-CI.