trap all local batch interrupts. Fixes #1089