PETSC_NULL deprecated in favor of NULL