Another linux fix