svoid linux_runGIO(S args) {
  Runtime.getRuntime().exec("gio " + args);
}