fix bug in setjmp limit testing; helps #2379