--- a/src/core/android/SDL_android.cpp	Thu May 30 23:08:35 2013 +0200
+++ b/src/core/android/SDL_android.cpp	Thu May 30 23:25:03 2013 +0200
@@ -50,6 +50,8 @@
 
 /* Implemented in audio/android/SDL_androidaudio.c */
 extern void Android_RunAudioThread();
+
+static void Android_JNI_ThreadDestroyed(void*);
 } // C
 
 /*******************************************************************************

--- a/src/core/android/SDL_android.h	Thu May 30 23:08:35 2013 +0200
+++ b/src/core/android/SDL_android.h	Thu May 30 23:25:03 2013 +0200
@@ -62,7 +62,6 @@
 
 /* Threads */
 #include <jni.h>
-static void Android_JNI_ThreadDestroyed(void*);
 JNIEnv *Android_JNI_GetEnv(void);
 int Android_JNI_SetupThread(void);