Prepare for 64-bit. Iow, use Elf_*hdr instead of the 32-bit ones.
sh: Properly quote alias output from command -v.

An alias should be printed by command -v as a command line; therefore, make
the alias definition suitable for re-input to the shell.