AC_CONFIG_HEADERS to please automake 1.13