use AC_CONFIG_HEADERS instead of AC_OUTPUT for config.h