A few linux fixes