use_debian_lib_directory_for_pkgconfig.patch
