tracking dist-tools from official svn repository