[tool] some more python cleanup