Hopefully fix c2rust build

Author: mattgodbolt

Dockerfile.c2rust

@@ -20,6 +20,9 @@ RUN apt update -y -q && apt upgrade -y -q && apt update -y -q && \
 
 RUN curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y --default-toolchain none
 
+# Install uv (required for c2rust-refactor build scripts)
+RUN curl -LsSf https://astral.sh/uv/install.sh | sh
+
 RUN mkdir -p /opt/compiler-explorer
 
 # Add github public key to known_hosts, to enable interaction-less clone

c2rust/build.sh

@@ -3,6 +3,7 @@
 set -exu
 source common.sh
 source $HOME/.cargo/env
+export PATH="$HOME/.local/bin:$PATH"
 
 ## $1 : version, like v0.9 (tag) or master (branch)
 ## $2 : destination: a directory or S3 path (eg. s3://...)