diff --git a/library/pkcs7.c b/library/pkcs7.c
index ab7bebdf2f..7976a0b3a9 100644
--- a/library/pkcs7.c
+++ b/library/pkcs7.c
@@ -34,17 +34,8 @@
 #include <sys/stat.h>
 #endif
 
-#if defined(MBEDTLS_PLATFORM_C)
 #include "mbedtls/platform.h"
 #include "mbedtls/platform_util.h"
-#else
-#include <stdio.h>
-#include <stdlib.h>
-#define mbedtls_free      free
-#define mbedtls_calloc    calloc
-#define mbedtls_printf    printf
-#define mbedtls_snprintf  snprintf
-#endif
 
 #if defined(MBEDTLS_HAVE_TIME)
 #include "mbedtls/platform_time.h"