Fix `copy_host_file` for files containing quotes (I hope)
    
    `man printf` says \" is treated as a quote, but not \'. So
    let's have the command use double quotes to wrap the format,
    and escape any double quotes in the text. Hope this works.