Rename symbols to symbols.txt