Issue #128: BUILDING.md update