added petsc and opencascade