Fix #2415 delete the AST cache