corecffi: tentative fix for ctrl-c