Generated symbol file has some nicer formatting