one more linux fix