Tweaking travis after RTFM