CI: catch a dependency that the Docker image would drop, before the merge

CI: catch a dependency that the Docker image would drop, before the merge #1908