diff --git a/programs/random/gen_random.c b/programs/random/gen_random.c
index a44e8a3..696df3a 100644
--- a/programs/random/gen_random.c
+++ b/programs/random/gen_random.c
@@ -24,10 +24,19 @@
  */
 
 #include "polarssl/config.h"
+
 #include "polarssl/havege.h"
+
 #include <time.h>
 #include <stdio.h>
 
+#if !defined(POLARSSL_HAVEGE_C)
+int main( void )
+{
+    printf("POLARSSL_HAVEGE_C not defined.\n");
+    return( 0 );
+}
+#else
 int main( int argc, char *argv[] )
 {
     FILE *f;
@@ -70,3 +79,4 @@
     fclose( f );
     return( 0 );
 }
+#endif /* POLARSSL_HAVEGE_C */