Delete UnfoldingTool.h