remove longjmp() and warn()