[Linux] compilation fix for PR #4099