> 2) Dominik, I have pushed a possible fix for this to petsc-dev. Can you try > running with that on this machine? There is no mercurial on the system. Is your fix already in the tarball?