fixes name of travis config file