Fix in Linux build.