issue #3069: Fixing compilation errors.