Tweaking travis build file