Fix travis-ci configuration file name