stip_tool.py renamed