K 10 svn:author V 4 jkim K 8 svn:date V 27 2013-05-23T05:42:35.271050Z K 7 svn:log V 66 Work around build breakages with GCC 4.2. Reported by: tinderbox END