static File unpackSimpleWikipedia() {
  File f1 = downloadSimpleWikipedia();
  File f2 = getProgramFile(#1008009, "simplewiki-latest-pages-articles.xml");
  if (!f2.exists()) {
    print("Unpacking...");
    bunzip(f1, f2);
  }
  ret f2;
}