tool.py: remove unused imports