configure_options=(
    ${configure_options[@]}
    "--enable-64-bit-bfd"
)
