K 10
svn:author
V 5
luigi
K 8
svn:date
V 27
2010-11-16T17:44:09.628863Z
K 7
svn:log
V 96
sync with the version in HEAD -- use ${BINMAKE} built
by the toolchain and not the hosts's make

END