Tweaking travis file.