Re: now impossible to debug code that uses PETSc shared libraries?