File kodi-tools-libdir.patch of Package kodi