Fix debian/control file

Change-Id: I94efc1e5847c4c245f316a2d3338abfd40e05f92