void CopyFile (string source, string dest, bool create_dir)
{
if (create_dir)
CreateDirectoryIfRequired (Path.GetDirectoryName (dest));
Log.LogMessage ("Copying file from '{0}' to '{1}'", source, dest);
if (String.Compare (source, dest) != 0)
File.Copy (source, dest, true);
}