Fixing gcc compilation