coq-containers: package is broken