fixing the travis ci config file