Fix travis for reals