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