Bug fix in tools build script