This reverts merge request !8 (merged)
The pipeline failed with linking error that isn't obvious to me.
