Fix compilation with GCC4