[compilefix] Gmp: fix typo