ReadFileIntoString() modified to return OK when the file is empty