svoid linux_runGIO(S args) ctex {
  S cmd = print("Running: ", "gio " + args);
  Runtime.getRuntime().exec(cmd);
}