added missing properties to make deb file generation work properly

This should also fix #1798