Fixing gcc compilation error