deb: try to fix renaming of libraries in obspy/lib by recent setuptools
(currently on trusty)