BinaryTools submodule for the gitextensions repo.