use ctrl instead of super in linux key bindings