In the end, thankfully

yosys

added an option to work around that 3 days ago so I updated

yosys

and modified the synthesis script to always use that options in OpenLANE.