issue #1683: Fixed compilation errors for linux.