Merge branch 'bug#255' into 'v2.7.1'

Bug#255: SOL006 Jenkins build is broken

See merge request !53
1 job for v2.7.1
in 0 seconds, using 0 compute credits, and was queued for 20 seconds