How programs get run: ELF binaries