diff --git a/testrunner b/testrunner index 69687a9dfcd2ef59c6a5340f919af03cf286125b..6592fe1f22ee7e223076eb6c2ff13b8744cba9e3 100755 Binary files a/testrunner and b/testrunner differ