S3

you don't need to prefix this with docker_command, you can just change the path to os.path.join(tempdir, "klee-out-0") and run outside the docker container (tar is on the host already)