This also fixes the ci build [1]

[1] https://jenkins.softwareheritage.org/job/DVAU/job/tests/552/console