Thanks to all those kind folks who took the trouble to reply. The answer, in case anyone didn't know it, is to use @@, as opposed to @, to read in files.