Replace 'min' with 'hccmin' in *.smt files