Debian packaging and setup.py fix