svoid linux_fixNumPad() {
  if (!isLinux()) ret;
  File f = newFile("/etc/default/keyboard");
  S text = loadTextFile(f);
  LS lines = lines(text);
  S line = "XKBOPTIONS=\"numpad:microsoft\"";
  if (contains(lines, line))
    print("Num pad already fixed!");
  else if (contains(text, "XKBOPTIONS"))
    print("I am confused, please check " + f + "yourself and put in: " + line);
  else {
    sendToSuperUserVM("echo " + platformQuote(line) + " >>" + platformQuote(f));
    text = loadTextFile(f);
    lines = lines(text);
    if (contains(lines, line))
      print("Sucess fixing numpad! Please reboot machine.");
    else
      print("Boohoo, couldn't fix numpad in " + f);
  }
}