diff --git a/testrunner b/testrunner
index 7703650d05001b854b9c2cd17ce69e07691ee546..2371614d4116960e0a2e83ac1e6958b6c5d26d9a 100755
Binary files a/testrunner and b/testrunner differ