Add tests for symbol file name generation

Fix #732.
Is triple quotes really needed here?