Fixes compilation with gcc