bugfix: exit on ctrl-c