clean-up: remove deprecated field dist.missing-tools
#125535
Merged
dist.missing-tools
#125535