Delete symbols.txt~