Fix compilation with GCC 4.4.7 (n/w)