correctly naming travis config file