Modified option handling (which also fixes an installed -f); release v2.12.