FIXED compilation with gcc 4.7