[wsnipex]

the addon for Krypton fails to build.
I see there is a newer version in the pvr.mediaportal.tvserver repo, but https://github.com/xbmc/repo-binary-addo...server.txt still points to an older version that fails.