updated linux configs for new version of petsc