Minor fix in deb configuration