Fix travis config file name