static PNGFile copyPNGFile(PNGFile p) {
  new PNGFile b;
  copyFile(p.pngFile(), b.pngFile());
  ret b;
}