svoid linux_fixNumPad() {
  if (!isLinux()) ret;
  File f = newFile("/etc/default/keyboard");
  S line = "XKBOPTIONS=\"numpad:microsoft\"";
  backtickInSuperUserVM("echo " + platformQuote(line) + " >>" + platformQuote(f), true);
  print("Fixed numpad for you (hopefully)! Please reboot machine for change to take effect.");
}