Merge branch 'issue/13' into 'development'

Issue #13: Fix build Unix from CI

See merge request !110
5 jobs for development in 22 minutes and 15 seconds (queued for 3 seconds)