Simplify the travis-ci build.