extra tools for Python
