for setjmp.e. The coercions have been grabbed from an old version by FvH.
Before starting installation you should read the file doc/install.pr
