Small linux fix