have you tested? I got an error from PETSc here on my pc.