Fix master build [1] [1] https://jenkins.softwareheritage.org/job/DLDBASE/job/tests/1132/console
mentioned in merge request !163 (closed)