just fine. Thus I am removing the bundled rivet.py and rivet_wrap.cc until further problems appear. Deleted: trunk/pyext/rivet.py trunk/pyext/rivet_wrap.cc