K 10 svn:author V 6 ehaupt K 8 svn:date V 27 2011-08-03T18:17:53.000000Z K 7 svn:log V 132 Restore the possibility to define EXTRA_COMPILERS which must reside in $PATH. PR: 158888 Submitted by: Pan Tsu END