<div dir="ltr">I tried running the same with petsc@develop and it worked. But if the fix was committed on Dec5, then it should in theory work with petsc@3.10.3 . I'm not sure why it doesn't work either. <br></div>