Update runalltests.php