some linux fixes