installation fails with mcp: Fatal error: Cannot open file: adt23tree.defs; No such file or directory