Is the "platform" flag commonly used enough that we should just put this in `base/autotools.py` instead?  This looks to be about a 95% duplication of `base/autotools.py`, and I'd rather just make that script more flexible than repeat ourselves here.