# CONFIG_IA32_AOUT is not set