More tweaks to travis-ci build file