IO.readlines are converted to File.open