jjames uploaded metamath.tar.bz2 for rpms/metamath