Index: src/libcfa/stdlib
===================================================================
--- src/libcfa/stdlib	(revision 490d99729cba8af56a1a5d642351adb4bdf5e6d6)
+++ src/libcfa/stdlib	(revision 54aba8dc2740ad848ff31060ce9311cb75d5f7b2)
@@ -10,6 +10,6 @@
 // Created On       : Thu Jan 28 17:12:35 2016
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Mon Jan  1 17:35:43 2018
-// Update Count     : 291
+// Last Modified On : Tue Jan  2 12:21:04 2018
+// Update Count     : 292
 //
 
@@ -265,5 +265,5 @@
 //---------------------------------------
 
-void random_seed( long int s );
+extern "C" { void srandom( unsigned int seed ); }		// override C version
 char random( void );
 char random( char u );
@@ -275,5 +275,5 @@
 unsigned int random( unsigned int u );
 unsigned int random( unsigned int l, unsigned int u );
-extern "C" { long int random( void ); }
+extern "C" { long int random( void ); }					// override C version
 long int random( long int u );
 long int random( long int l, long int u );
Index: src/libcfa/stdlib.c
===================================================================
--- src/libcfa/stdlib.c	(revision 490d99729cba8af56a1a5d642351adb4bdf5e6d6)
+++ src/libcfa/stdlib.c	(revision 54aba8dc2740ad848ff31060ce9311cb75d5f7b2)
@@ -10,6 +10,6 @@
 // Created On       : Thu Jan 28 17:10:29 2016
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Mon Jan  1 19:03:16 2018
-// Update Count     : 437
+// Last Modified On : Tue Jan  2 12:20:32 2018
+// Update Count     : 441
 //
 
@@ -257,5 +257,5 @@
 //---------------------------------------
 
-void random_seed( long int s ) { srand48( s ); srandom( s ); } // call srandom to harmonize with C-lib random
+extern "C" { void srandom( unsigned int seed ) { srand48( seed ); } } // override C version
 char random( void ) { return (unsigned long int)random(); }
 char random( char u ) { return random( (unsigned long int)u ); }
@@ -267,5 +267,5 @@
 unsigned int random( unsigned int u ) { return random( (unsigned long int)u ); }
 unsigned int random( unsigned int l, unsigned int u ) { return random( (unsigned long int)l, (unsigned long int)u ); }
-//extern "C" { long int random() { return mrand48(); } }
+extern "C" { long int random( void ) { return mrand48(); } } // override C version
 long int random( long int u ) { if ( u < 0 ) return random( u, 0 ); else return random( 0, u ); }
 long int random( long int l, long int u ) { assert( l < u ); return lrand48() % (u - l) + l; }