rename curl to mediawikiprofiler