It indeed is only happening for some versions of make.
However, I finally found and fixed the issue with dd9f38d7 (3.15) / 40d9a21c (7.0).
It indeed is only happening for some versions of make.
However, I finally found and fixed the issue with dd9f38d7 (3.15) / 40d9a21c (7.0).