RE: fix for compilations with gcc 4.7