Add tests for symbol file name generation

Fix #732.
Done. It's much better, thanks.