diff --git a/common/utils/T/T.h b/common/utils/T/T.h
index 819615131e77cc72cf36d1f060ad61b8d1f8e2d2..bd090ac22151367a07080b2abc4c9cfb6519238f 100644
--- a/common/utils/T/T.h
+++ b/common/utils/T/T.h
@@ -188,12 +188,6 @@ extern T_cache_t *T_cache;
 
 #define T_HEADER(x) \
   do { \
-    if (!__builtin_types_compatible_p(typeof(x), struct T_header *)) { \
-      printf("%s:%d:%s: " \
-             "bad use of T, pass a message ID as first parameter\n", \
-             __FILE__, __LINE__, __FUNCTION__); \
-      abort(); \
-    } \
     struct timespec T_HEADER_time; \
     if (clock_gettime(CLOCK_REALTIME, &T_HEADER_time)) abort(); \
     memcpy(T_LOCAL_buf, &T_HEADER_time, sizeof(struct timespec)); \
@@ -205,12 +199,6 @@ extern T_cache_t *T_cache;
 
 #define T_HEADER(x) \
   do { \
-    if (!__builtin_types_compatible_p(typeof(x), struct T_header *)) { \
-      printf("%s:%d:%s: " \
-             "bad use of T, pass a message ID as first parameter\n", \
-             __FILE__, __LINE__, __FUNCTION__); \
-      abort(); \
-    } \
     T_PUT_int(1, (int)(uintptr_t)(x)); \
   } while (0)
 
diff --git a/targets/RT/USER/lte-ue.c b/targets/RT/USER/lte-ue.c
index b398d5127ea55e5e99b3773d32e99a8b238d0372..cfd42967554d2010e3c3a95374f9fc35e464582f 100644
--- a/targets/RT/USER/lte-ue.c
+++ b/targets/RT/USER/lte-ue.c
@@ -642,7 +642,7 @@ static void *UE_thread_rxn_txnp4(void *arg) {
         AssertFatal(pthread_mutex_lock(&proc->mutex_rxtx) ==0,"");
         pthread_cond_wait( &proc->cond_rxtx, &proc->mutex_rxtx );
         if ( (instance_cnt_rxtx+proc->sub_frame_step)%10 != proc->subframe_rx &&  instance_cnt_rxtx!=-1 )
-            LOG_W(PHY,"REAL TIME NOT MATCHED: missed a sub-frame: expecting %d, got %d\n",
+            LOG_W(PHY,"REAL TIME NOT MATCHED: missed a sub-frame: expecting %lld, got %d\n",
                   (instance_cnt_rxtx+proc->sub_frame_step)%10, proc->subframe_rx);
         instance_cnt_rxtx=proc->subframe_rx;
         AssertFatal(pthread_mutex_unlock(&proc->mutex_rxtx) ==0,"");