remove mediawikiservers, rename -hhvm