Make run-tests.php PHP-5.4 compatible