K 10 svn:author V 5 crees K 8 svn:date V 27 2013-12-21T17:02:30.042152Z K 7 svn:log V 152 It appears that there is actually a compiler.mk knob that does exactly what was needed for the previous commit. Submitted by: antoine Submitted by: db END