/petsc/ -> /mapdes/ for petsc4py instructions