Item11267: tools/build.pl: svn is history, do not depend on it any more