Awk does not understand unicode. The man page should warn about it