#ifndef USE_DOUBLE_PRECISION
<< "-"
#endif
- << "double "
+ << "double-precision "
#ifndef PROFILING_ENABLED
<< "-"
#endif
<< "profile "
+#ifndef USE_THREADS
+ << "-"
+#endif
+ << "threads "
<< std::endl;
#if !defined (_WIN32) && !defined(__WIN32__)
system("uname -a");