Fix Linux build, again.