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