Fix Compilation error with gcc compiler