protected function setModificationTime($destinationFilename, $newMtime)
  {
    $status = touch($destinationFilename, $newMtime);
    if ($status===false)
    {
      $this->logError("Unable to set mtime of file '%s'", $destinationFilename);
    }
  }