better AST filename determination