need to escape double quotes

so they get through to the output file using echo