Re: PETSC_DIR as a symlink