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