Proof doesn't find shared object

[quote=“ganis”]Is this related to the ‘disappearing packages’ report
Disappearing pakages
?

Gerri[/quote]

It could, I’m trying to understand