Should this also check that srcfile != destFile?