Fixing compilation error with gcc-4.6