small fixes

3 jobs for ducc0 in 16 minutes and 41 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Build Docker
passed #1139052
build_docker

00:03:41

 
  Testing
passed #1139053
test_gcc

00:12:43

 
  Build Tarballs
passed #1139054
release

00:00:15