Fix travis configuration file name