Remove setjmp.h header and add copyright notice.