Tweaking travis config.