# CONFIG_BINFMT_AOUT is not set