build-debian-packages.py