fix multiplications in setjmp code