update wikiextract.php