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