minor linux fixes