Use AC_CHECK_HEADER instead of AC_CHECK_FILE to check Minuit2