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