writing .aut files now works