Issue #3: build debian packages too