Thanks to the Lua team for pointing out a (very) long-standing bug in my sig_catch patch. I have updated all versions of it (back to Lua 5.1).
The bug was that it prevented Ctrl+C from interrupting computation. The fix was simply to remove part of the patch, so the new version is actually simpler and shorter.
--