Minor tweaks to HowToBuild.md