[petsc-dev] Configure argument check