Fixed bug #920: AM_CONFIG_HEADER is deprecated