The state of binary compatibility on Linux and how to address it