Fix travis 32bit switch