PALoizeau

Probably related: I found and temp-fixed something similar in Cbmroot recently, after one of our post-docs tried to improve our CI by introducing a segmentation fault detector and got confused...

Looks indeed like two consequences of the same problem. I will try in the coming days to cherry-pick the commit from the other issue into a local version of our...