Further BUILD.md cleanup.