add --ignore-encoding-errors flag to continue processing when file with non-utf8 encoding is encountered
fix treatment of type families