Fix a little bug when backing up tools_def.txt file