K 10 svn:author V 6 johans K 8 svn:date V 27 2016-05-18T12:43:12.679046Z K 7 svn:log V 70 Cleaner patch to honour $CC (no functional change) Reported by: bapt END