tools/gmp: Remove obsolete options