Danke für die Hilfe.
Den Binärmüll bekomme ich von kommerzieller Server-Software, auf deren Source-Code ich keinen Zugriff habe.
Ich habe gestern einen Fix bekommen, den ich noch einspielen muss. Einsweilen bin ich halt zurückgerollt.