Slightly improved handling of DOS CR/LF input files in linux