do_exit() is now pike_do_exit(). Fixes [bug 640 (#640)]. Rev: src/main.c:1.106 Rev: src/main.h:1.14 Rev: src/threads.c:1.143