bug fix: some InChIs were unicode and inchi2smiles would not work