fix ast.png name