Tweaking travis scripts