^C should not kill the shell but only the current process. For now, it is not the case : 
