static void unzipSnippet(S snippetID, File toDir) {
  print("Unzipping snippet " + snippetID);
  zip2dir(loadLibrary(snippetID), toDir);
}