small linux fixes