Fix Linux build (2)