* configure.in: Fix typo in handling of --with-mpfr-dir.