Added .aut file specification