fix Linux build after previous commit