diff --git a/Random_numbers/include/CGAL/Random.h b/Random_numbers/include/CGAL/Random.h
index f86b7577ed2..3c14d16335e 100644
--- a/Random_numbers/include/CGAL/Random.h
+++ b/Random_numbers/include/CGAL/Random.h
@@ -237,7 +237,8 @@ public:
 inline Random& get_default_random()
 {
 #if (defined( CGAL_TEST_SUITE ) || defined( CGAL_PRINT_SEED )) && !defined(CGAL_HEADER_ONLY)
-  CGAL_STATIC_THREAD_LOCAL_VARIABLE(Random, default_random, internal::Random_print_seed() );
+  internal::Random_print_seed rps;
+  CGAL_STATIC_THREAD_LOCAL_VARIABLE(Random, default_random, rps);
 #else
   CGAL_STATIC_THREAD_LOCAL_VARIABLE_0(Random, default_random);
 #endif