Fix bug that was preventing debian buildd to follow up

SMASH!