issue #2790: Fixing compilation errors on linux.