Fix travis CI settings