Consistent naming of ctrl-c.