Problem: signal handling was broken

Ctrl-C handler wasn't being properly installed. This patch fixes
that.

Fixes #485.