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