removed welcome message from mergeTool, quitting renameFRI