fix travis-ci build instructions