gmp: fix arg quoting