Proof doesn't find shared object

ROOT
4

Is this related to the ‘disappearing packages’ report
Disappearing pakages
?

Gerri