petsc displays options in debug mode