Tweaked the travis config