replatforms is too invasive. The following would be nice:
gmake platforms-reconfigure gmake platforms-repackage gmake platforms-clean
