@tomm_fa:
so etwas hab ich mir schon gedacht, nur nichts Offizielles gefunden; hätte vielleicht auch irgendein Fehler sein können.
Vielen Dank für die schnelle und umfassende Antwort…
Ist aber keine Lösung für alle, nur für die, die genau wissen was sie tun. Außerdem sind dort alte/ältere Versionen enthalten, unnötig das Repositorium.