And one more linux fix