various linux fixes