build-tools script tweak