diff --git a/tests/peddi/run-peddi.sh b/tests/peddi/run-peddi.sh
index 265f558..2cd8eae 100755
--- a/tests/peddi/run-peddi.sh
+++ b/tests/peddi/run-peddi.sh
@@ -45,7 +45,11 @@ then
   done
   sleep 0.5
 
+  kill9log="${basedir}/kill-9.log"
+  vicepid=$(jobs -p %1)
   kill %1
+  (sleep 20; ps -q "${vicepid}" -f --no-headers && \
+      (kill -9 "${vicepid}" ; date)) >> "${kill9log}" 2>&1 &
 fi
 
 wait %1 || echo "x64 returned $?"