Changed Ehdr32.load to return is_elf().