Remove no-longer-relevant build script

I was the only user of it ever, and I've settled on an alternative build sequence.
Merge pull request #3757 from ussuri/minor-cleanups

Remove no-longer-relevant build script