backport MuTk to 71X

backport of the same files from 72X, needed by BPH