Loading libProof.so instead of libTree.so

No match.