A way to produce really small x86-64 Linux ELF files