travis settings file rename