svoid linux_gioOpen(File f) ctex {
  print("linux_gioOpen " + f2s(f);
  ProcessBuilder pb = new("gio", "open", f2s(f));
  pb.start();
}