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