Travis-ci's build environment is 32bit