Fix debian confg for DSE