Distinguish ReadFile failure from EOF