Just some additional information. This bug is for Linux/Unix system. On Windows Ctrl+C has a different bug since the exception handler is created in a different thread.