[petsc-dev] crash inside PetscVFPrintfDefault on using -help