deb files Fix for #819