Fixed symbol file output