Fixes to setup.py and stddeb (get Linux distribution working)