support DOS format in input files, even on Unix