gmp: remove unnecessary and wrong configure_args; thanks al3hex.