Fixed a compilation error on Mac.

Fixes a compilation error. Johannes please check this code.

mentioned in merge request !252 (merged)

marked this merge request as ready

enabled an automatic merge when the pipeline for 0a5ad147 succeeds

mentioned in issue #103 (closed)

merged

mentioned in commit 3d2977af