if it's the short name that is dumped for the Adm1ASCII( it is a good idea) , i think it will make sense to dump the short name for the Country dump too.it it will be consistent that the names match indepandently the file they are dumped. Most of peaople should be interested in the shortname
The admASCII files are redundant and we only generate them for convenience of our users. If we dump the short name in the main file we would destroy information. I think it is better to dump what we have and if someone wants to have something else then they can generate it from the data.