call run-tests.php manually because https://bugs.php.net/bug.php?id=60285 is only fixed >=5.5