quote EOF so that we do not have to escape $