Setup: allow permuting order of options