Commit f9d72b4ea50c0136ae1c9687f4ece3eb9f7c14e2

Thomas de Grivel 2023-11-29T10:35:09

Fix Debian build.