Fix build system for some Linux systems
Passed
Florian Uhlig
created pipeline for commit 4fdffafa
, finished
Related merge request !367 to merge fix_build_system
39 minutes 38 seconds, queued for 1 seconds