Rename keyflag to ctrl_flag