Attempt to patch config.h.in, not yet successful