fixes some keyboard shortcuts on linux / no-numpad