`flex` and UTF-8