copy-file now uses GNU/Linux file cloning