> I expect the binary to have been linked against libraries available in major flavors of Linux. The latest Debian as I write this (10.7) uses `libreadline7`. So does CentOS 8. Most people would consider all these, along with Ubuntu 18.04 LTS, "major flavors of Linux". Since it's not possible to link against multiple versions of the same library, a choice had to be made (more likely, forced upon Dr. Hipp by the build platform). That you were able to get the precompiled binaries working with libraries from a different OS instance was fortunate, but a better option would be to build the amalgamation from source.