git mv cmdtool tool, different name for package to avoid confusion with binary with same old name.