Add tests for symbol file name generation

Fix #732.