make exit() overridable, for use in DLLs