Fixed a minor problem in input file deletion commands for CMT tools.