Oops, TravisCI is 64-bit\!