deps: fix '-with-gmp' typo