[Maria-developers] Buildbot failure in filesort.cc:make_sortkey