* building libzkgroup.so every time when building the docker image takes really long and is quite hacky (due to a bug in docker/buildx: see https://github.com/docker/buildx/issues/395).