Update run-tests.php for PHP 5.6