Nach Überlegungen scheint es mir, dass die letzte Version, die ich installiert hatte, wohl für eine andere Architektur gedacht war. Sonst hätten bei der jetzigen nicht Dateien unter /usr/lib64 auftauchen können.
Daher gehe ich davon aus, dass es daran gelegen hat, dass ein neues Profil erstellt wurde.