jjames uploaded metamath.tar.bz2 for metamath