fixed #2048: Fixing compilation errors on linux.