public static void copyFileIfSizeDifferent(File src, File dest) {
  if (fileSize(src) != fileSize(dest))
    copyFile(src, dest);
}