Merge branch 'fix_todo' into 'master'

fix a CI todo and some cleanup

See merge request !25
2 jobs for master in 55 minutes and 12 seconds (queued for 8 seconds)
latest
Status Job ID Name Coverage
  Test
passed test_download_amd64_linux #9504
docker2

00:55:10

failed test_download_src #9503
docker2

00:01:15

 
Name Stage Failure
failed
test_download_src Test
make[3]: *** [Makefile:247: frontend] Error 2
make[3]: Leaving directory '/builds/curry/pakcs/download/pakcs-3.3.0'
make[2]: Leaving directory '/builds/curry/pakcs/download/pakcs-3.3.0'
make[2]: *** [Makefile:173: kernel] Error 2
make[1]: *** [Makefile:162: build] Error 2
make[1]: Leaving directory '/builds/curry/pakcs/download/pakcs-3.3.0'
make: *** [Makefile:139: all] Error 2
Cleaning up file based variables
ERROR: Job failed: exit code 1