Fix portability issues with Ubuntu 12.04 (64 bits).

src/traces/tracer-real-time.cpp

@@ -347,8 +347,8 @@ display( std::ostream& os ) const
 	  else if( (SIZE>>20)||(MSIZE>>20) ) { dec = 20; unit="Mo"; }
 	  else if( (SIZE>>10)||(MSIZE>>10) ) { dec = 10; unit="Ko"; }
  	  os << "[" << std::setw(1)<<std::setprecision(1)
- 	     << ((SIZE+0.0)/(1<<dec)) << unit << "/"
- 	     << std::setprecision(2)<<((MSIZE+0.0)/(1<<dec))
+ 	     << (((double)SIZE+0.0)/(1<<dec)) << unit << "/"
+ 	     << std::setprecision(2)<<(((double)MSIZE+0.0)/(1<<dec))
  	     << unit << "]\t";
 	  if( file->full ) os << "(FULL)";
 	  os.precision(PRECISION);

src/traces/tracer.cpp

@@ -158,7 +158,7 @@ openFiles( const std::string& rootdir_, const std::string& basename_,
 	   const std::string& suffix_  )
 {
   dgDEBUGIN(15);
-  unsigned int n = rootdir_.length ();
+  std::basic_string<char>::size_type n = rootdir_.length ();
   rootdir = rootdir_;
   if( (0<n)&('/'!=rootdir[n-1]) ) rootdir+='/';