fix read_file_lines