Don't throw KeyboardInterrupt from a child process.

This should fix #1327.