binary_version moves to core/binaries and reads the version from the tool's own banner line; only mp4decrypt is run with no arguments.