bin/minimize.py: added option to control which variant to minimize