Pipe the contents of a file to stdout