static void bunzip(File f1, File f2) {
  File temp = new File(f2s(f2) + "_temp");
  stream2file(bunzip2stream(f1), temp);
  f2.delete();
  temp.renameTo(f2);
}