remove unused check_env() and setjmp()