Fix travis config filename