fixing the travis config