AC_CONFIG_HEADERS to please automake 13