Investigate portability issues with the docker image and prebuilt binary.

[jemc]

There were some portability issues raised in #3 that still need to be investigated and resolved.

[srenatus]

ℹ️ I cannot reproduce that with the docker image currently tagged as latest, 1ae214bf3be1. However, I still occurrs for what it was back then, aa709d7f5789.

[jemc]

Thanks for the data point - that's very interesting and helpful.