travis 64 bits