I registered the new patch file in "gnu/local.mk" and pushed as
cc08d374b21f1326c2d70d5af84b56c0714a0885.
Thanks.