Tweaking travis-ci build file