(bug 4062) croak instead of die