diff --git a/test/jenkins/_run_ct b/test/jenkins/_run_ct
index 98d880577..0c47c1c96 100755
--- a/test/jenkins/_run_ct
+++ b/test/jenkins/_run_ct
@@ -4,4 +4,5 @@ set -e
 mount --make-rprivate /
 umount -l  /proc
 mount -t proc proc /proc/
+mount -t binfmt_misc none /proc/sys/fs/binfmt_misc/
 exec "$@"