another linux fix