Fix build failure with gcc < 4.4 (bug #10762)