Problems setjmp.h on Fedora 5