diff --git a/src/mainclient/shell.c b/src/mainclient/shell.c
index e35d003d..8e68fc51 100644
--- a/src/mainclient/shell.c
+++ b/src/mainclient/shell.c
@@ -757,7 +757,7 @@ static int line() {
                 kleft();
                 break;
             case 3:     /* ctrl-c */
-                raise(SIGINT);
+                kill(getpid(), SIGINT);
                 /* fallthrough */
             case 17:    /* ctrl-q */
                 gbl_cancel_current_repl_form = 1;