UTF-8 does not seem to work for characters like ñ on Windows, so use ISO-8859-1 instead

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()