I have reported the issue to config-patches at gnu.org as requested. Thanks. However, can we revert the changes made Ok, done. For now. Hope Ben can fix it for real soon. -k