Don't delete mediawiki-*.tar.gz so we can use it next time