Adapted patch to Praat 5.4.09, e.g., changes in character width, char32/U/L