-fixed a bug introduced shortly: CTRL+C now works again

4 files changed