fix debian control
Authored by: Jean-Francois Dockes 2018-11-07
Parent(s): [f833b5]
Child(ren): [a33308]
