fix PR3965:SIGINT handler not restored after calling ParseAST(),