sed can take a filename.