@happy-kitchen-89482 just a sanity check -- was

src/python/pants/binaries/binary_tool_mixin.py

supposed to be checked in to https://github.com/pantsbuild/pants/pull/5443/files? it was added to

src/python/pants/binaries:binary_util

, but that file doesn't appear to exist