file:read_file/1 missing 1st binary of /dev/stdin which comes from Unix pipe

file:read_file/1 missing 1st binary of /dev/stdin which comes from Unix pipe #2380