Fix Linux build, 3rd go.