use_debian_packaged_libs_for_extension.patch
