#129 Fix for abort problem, from Pekka Pietikäinen's patch

Fix the ctrl-c abort problem described in #129