Fix travis once and for all