read.csv() (or the internal scan()) does not work even if we specify the fileEncoding argument, so we have to readLines(), and pass the results to the `text` argument of read.csv()