fix travis-ci build script