bug#46826: [debian] compilation from git fails

[Ludovic Courtès]

Hi!

I pushed a slightly different fix as
9ce78f27a02b3a5fcaea2f0633404b940795989a.

Thanks,
Ludo’.