linux fix after windows fixes