Changes to Tools/ submodule