# Build with container
{
docker run --rm -v "${gem5_root}":"/gem5" -u $UID:$GID \
- -w /gem5 $repo_name scons "${build_out}" "${build_args}"
+ -w /gem5 $repo_name /usr/bin/env python3 /usr/bin/scons \
+ "${build_out}" "${build_args}"
}>"${build_stdout}" 2>"${build_stderr}"
result=$?