tweaked the travis config