Fix Debian DSE package install.