fix distro.py