Updates following fixes in the debs

Change-Id: I82226b1577cadd66c87801c00892f50d2080d467