Fix travis-ci build script