fixing a small incompatilibity between linux and mac in the copyfiles script