svoid addToNativeLibraryPath(File dir) {
  if (dir == null) ret;
  S libraryPath = System.getProperty("java.library.path");
  if (contains(splitAt(libraryPath, File.pathSeparator), f2s(dir))) ret;
  libraryPath += File.pathSeparator + f2s(dir);
  print("New java.library.path: " + libraryPath);
  System.setProperty("java.library.path", libraryPath);
  
  javaLibraryPathHack();
}