<sys/exec.h> was already being included.
up the comment earlier).
option. (Also, make EXEC_ELF32 option a way to explicitly include 32-bit ELF support.)