bug fix in copy-if-changed