Adopt the new widechar_wcwidth() function from https://github.com/ridiculousfish/widecharwidth Fixes #5081