Whoops. I'd left the type of the jump buffer as `sigjmp_buf'.