Re: fix for compilations with gcc 4.7