Update debian/patches/fix-for-lib-names.
Update get-orig-source section in debian/rules.