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