Tweaked the travis config.