Fix travis config file name.