Minor agm_config.h generation bugfix