Echo `file "$1"' into a pipe