Fix encoding for string library