static S fileToURI(File f) ctex {
  ret f.toURI();
}