Hi,
I just found, that pg_config_manual.h is included by internal/c.h, butnot being installed by default. The attached patch fixes this.
cu Reinhard