fix name of travis ci config file