Log Message: Make it build again. From Kai-Uwe Eckhardt. XXX: currently not accepted by GCC_REQD=4.8.0, so more work needed.