Hi Akim, this is in reference to: https://lists.gnu.org/archive/html/bug-bison/2019-10/msg00044.html
I am not the original reporter but gave your patch a try since we have the same problem in Spack: https://github.com/spack/spack/pull/13231 The patch fixes the problem for me, so it would be great if it could be included in the next version. If you have any further questions, please keep me cc'd since I am not subscribed to the mailing list. Thanks! Best regards, Michael