small change to sext_astfile.config