diff --git a/.buildbot.sh b/.buildbot.sh
index 829bcc9..05753ba 100755
--- a/.buildbot.sh
+++ b/.buildbot.sh
@@ -48,7 +48,9 @@ args=(
     --ssh-port $SSHPORT
     --ssh-key $HOME/.ssh/id_ed25519.pub
 )
-BUILDBOT_PLATFORM=riscv64-purecap python3 tests/run_cheri_examples.py "${args[@]}"
+export BUILDBOT_PLATFORM=riscv64-purecap
+args=${args[@]}
+script -c "python3 tests/run_cheri_examples.py $args"
 
 echo "Running tests for 'morello-hybrid' using QEMU..."
 args=(
@@ -62,7 +64,9 @@ args=(
     --ssh-port $SSHPORT
     --ssh-key $HOME/.ssh/id_ed25519.pub
 )
-BUILDBOT_PLATFORM=morello-hybrid python3 tests/run_cheri_examples.py "${args[@]}"
+export BUILDBOT_PLATFORM=morello-hybrid
+args=${args[@]}
+script -c "python3 tests/run_cheri_examples.py $args"
 
 echo "Running tests for 'morello-purecap' using QEMU..."
 args=(
@@ -76,4 +80,6 @@ args=(
 --ssh-port $SSHPORT
 --ssh-key $HOME/.ssh/id_ed25519.pub
 )
-BUILDBOT_PLATFORM=morello-purecap python3 tests/run_cheri_examples.py "${args[@]}"
+export BUILDBOT_PLATFORM=morello-purecap
+args=${args[@]}
+script -c "python3 tests/run_cheri_examples.py $args"