Nach einigem hin und her, kristalisierte sich folgendes heraus: Der Installer unter Linux scheint defekt zu sein. Mit dem normalen tar.gz funktioniert alles. Das Aufhängen bei Extensions liegt an inkompatiblen Extensions in Verbindung mit dem neuen Extensionmanager, deswegen sollte man auch vorsichtig mit dem Übernehmen von Profilen sein...

HTH,

Jens