Fix Linux build (again);