re #10066 sort linux warning