exec ./config_simple.sh rv32-linux --toolprefix riscv64-linux-gnu- "$@"