Submitted by: Volker Stolz <stolz@i2.informatik.rwth-aachen.de> Reviewed by: Approved by: Obtained from: MFC after: Update to 2.5.2 and unbreak it. Silent by: maintainer.