config_query_option MPFR_OPTS "Do you want to build a thread safe mpfr?" y \
		    "--enable-thread-safe" "--disable-thread-safe"
