Fix travis building error

Travis CI build failed because it has changed to 64-bit