diff --git a/code/SDL12/include/SDL_config_minimal.h b/code/SDL12/include/SDL_config_minimal.h
index 002c56e..83c3cef 100644
--- a/code/SDL12/include/SDL_config_minimal.h
+++ b/code/SDL12/include/SDL_config_minimal.h
@@ -27,8 +27,13 @@
 
 /* This is the minimal configuration that can be used to build SDL */
 
+#ifdef __linux__
+#include <stdio.h>
+#include <stdint.h>
+#endif
 #include <stdarg.h>
 
+#ifndef __linux__
 typedef signed char int8_t;
 typedef unsigned char uint8_t;
 typedef signed short int16_t;
@@ -37,6 +42,7 @@ typedef signed int int32_t;
 typedef unsigned int uint32_t;
 typedef unsigned int size_t;
 typedef unsigned long uintptr_t;
+#endif
 
 /* Enable the dummy audio driver (src/audio/dummy/\*.c) */
 #define SDL_AUDIO_DRIVER_DUMMY	1