Calum Mackay wrote:
No; the libs you have under /usr/local/lib - that Josselin pointed out - were not installed as part of Debian pkgs: Debian doesn't ever [I believe] install anything under /usr/local.
Unless you force it to with e.g. dpkg --root, of course. cheers, c.