Tweaking travis build