suppress EOF warning for readLines