Fix problems with CI

Merged Philipp Zschumme requested to merge fix_ci_docker into master

Merge request reports