diff -p -up polybori-0.6.3-20091028/src/polybori-0.6/polybori/src/BooleEnv.cc.orig polybori-0.6.3-20091028/src/polybori-0.6/polybori/src/BooleEnv.cc
--- polybori-0.6.3-20091028/src/polybori-0.6/polybori/src/BooleEnv.cc.orig	2010-02-01 20:24:51.534021198 -0200
+++ polybori-0.6.3-20091028/src/polybori-0.6/polybori/src/BooleEnv.cc	2010-02-01 20:25:14.613016554 -0200
@@ -42,7 +42,7 @@
 BEGIN_NAMESPACE_PBORI
 
 
-BooleEnv::ring_type active_ring;
+BooleEnv::ring_type active_ring = *new BoolePolyRing;
 // Note, direct access via friends, to  active_ring.pOrder and pMgt, because
 // inline doesn't work up to now, because os the undefined type issue.