Report message when ctrl-c is called from cli, fix #3190