Fix travis configuration filename