sys-file-reader: Fix setjmp() technicality.