# CONFIG_BINFMT_ELF_FDPIC is not set