linux fixes #2