Fix Linux build, 2nd go.