Hallo vdr.tuxnet,
vielen Dank für den Hinweis. Es gab keinen driftigen Grund. Es lag einfach daran, dass ich beim Aufsetzen meines Kodi-Rechners die Version 18 gebraucht hatte und diese zu der Zeit nur per nightly-Builds verfügbar war. Ich war mir nicht bewusst, dass ich mir dadurch irgendwann die nächste Alpha-Version auf meinen PC hole.
Ich habe meine Quellen jetzt auf das normale ppa umgestellt und bin zu Version 18.2 zurückgekehrt. Nun funktioniert wieder alles.