backport MuTk to 71X