some more linux fixes