Patch from RDB: rename ISO-8859-12 to -13, add ISO-8859-16, and