fix call to set_exception_handler