Update storesymbols.bat to match what is actually being used.