fetchpatch2
Added apparently by accident in the last fix (see the parent merge).
disable-warnings-if-gcc13