fixed a bug- iso_encodings.cc isn't actually used.