Update debian/patches/fix-for-lib-names.