x86_64: leechcore.so libc.so.6 vmm.so
