File kodi-15.0-gcc5.patch of Package kodi