The image used in the `Docker.ci` is not a slim image anymore following issues with `glibc` (see #313) The CI docker images should be optimized (and maybe built differently) to use a slim image
