K 10 svn:author V 6 marcel K 8 svn:date V 27 2014-09-28T00:24:01.627656Z K 7 svn:log V 48 Work around broken make infrastructure. Sigh... END