python: linux fixes