loadable_aut: fix DumpToAutDesc()