Tweaking travis script.