Also export "defaultCtrlCHandler"