AC_CONFIG_HEADER has been replaced with AC_CONFIG_HEADERS in 2001
and is no longer documented.