(Building the petsc package consistently reproduces the issue several times during the build, while I could build the package twice without any issue with the patch applied). Samuel