configure.ac: remove explicit dependence on gmp