Fix 64bit for Travis CI