Womit ich mich in den nächsten Stunden wieder mit dem compilieren beschäftigen werde.
Es gilt unter anderem den Server upzudaten, auf dem ja nur 15 Millionen Webobjekte abgelegt sind :)
Vielleicht haben die PHP-Leute auch endlich mal ein paar Bugs gelöst, so daß PHP keine Probleme mehr meldet, wenn Submodule einen anderen Compiler wollen als PHP selbst…