gnu: Add petsc-openmpi.