Fixed issue #1. The catch() function should call exit otherwise the
script won't terminate on SIGINT.