Fix travis CI config