harfbuzz 0.9.23, mplayer patch obsolete