diff --git a/programs/ssl/ssl_context_info.c b/programs/ssl/ssl_context_info.c
index cc889d46c..19054eb2f 100644
--- a/programs/ssl/ssl_context_info.c
+++ b/programs/ssl/ssl_context_info.c
@@ -309,11 +309,11 @@ void print_hex( const uint8_t *b, size_t len,
 /*
  *  Print the value of time_t in format e.g. 2020-01-23 13:05:59
  */
-#if defined(MBEDTLS_HAVE_TIME)
-void print_time( const time_t *time )
+void print_time( const uint64_t *time )
 {
+#if defined(MBEDTLS_HAVE_TIME)
     char buf[20];
-    struct tm *t = gmtime( time );
+    struct tm *t = gmtime( (time_t*) time );
     static const char format[] = "%Y-%m-%d %H:%M:%S";
     if( NULL != t )
     {
@@ -324,8 +324,11 @@ void print_time( const time_t *time )
     {
         printf( "unknown\n" );
     }
-}
+#else
+    (void) time;
+    printf( "not supported\n" );
 #endif
+}
 
 /*
  * Print the input string if the bit is set in the value
@@ -612,12 +615,7 @@ void print_deserialized_ssl_session( const uint8_t *ssl, uint32_t len,
                 ( (uint64_t) ssl[7] );
         ssl += 8;
         printf( "\tstart time     : " );
-#if defined(MBEDTLS_HAVE_TIME)
-        print_time( (time_t*) &start );
-#else
-        (void) start;
-        printf( "not supported\n" );
-#endif
+        print_time( &start );
     }
 
     CHECK_SSL_END( 2 );