Index: /bootstrap_libs
===================================================================
--- /bootstrap_libs	(revision 4948)
+++ /bootstrap_libs	(revision 4950)
@@ -3,5 +3,5 @@
 
 # setup
-export PREFIX=`cd ./build; pwd`
+export PREFIX=/home/spovnet/local
 mkdir libs
 cd libs
Index: /source/ariba/utility/system/Timer.cpp
===================================================================
--- /source/ariba/utility/system/Timer.cpp	(revision 4948)
+++ /source/ariba/utility/system/Timer.cpp	(revision 4950)
Index: /source/ariba/utility/system/Timer.h
===================================================================
--- /source/ariba/utility/system/Timer.h	(revision 4948)
+++ /source/ariba/utility/system/Timer.h	(revision 4950)
@@ -63,5 +63,5 @@
 public:
 	Timer();
-	~Timer();
+	virtual ~Timer();
 
 	/**