add dist.py to gen deb package