Echo `file $1' into a pipe