A way to generate very small docker images based on dynamically linked binaries