install Ctrl+C handler as a priority handler