@toby-murray : My bad -- I didn't mean to steal your FWIW opening. Your post reminded me to post back.
I haven't used Linux Mint, but if I recall correctly, you may be able to force a dynamic library refresh by running ldconfig as root. That'll change the dynamic library config, and might have taken care of that problem.
@toby-murray : My bad -- I didn't mean to steal your FWIW opening. Your post reminded me to post back.
I haven't used Linux Mint, but if I recall correctly, you may be able to force a dynamic library refresh by running ldconfig as root. That'll change the dynamic library config, and might have taken care of that problem.