Fix bug of doc/how_to_build.txt