re #10661 remove linux warning