diff --git a/gfx/drivers_context/androidegl_ctx.c b/gfx/drivers_context/androidegl_ctx.c
index a313fc5b91..4ca9c29960 100644
--- a/gfx/drivers_context/androidegl_ctx.c
+++ b/gfx/drivers_context/androidegl_ctx.c
@@ -13,6 +13,12 @@
  *  You should have received a copy of the GNU General Public License along with RetroArch.
  *  If not, see <http://www.gnu.org/licenses/>.
  */
+#include <stdint.h>
+
+#include <EGL/egl.h>
+#include <sys/system_properties.h>
+
+#include <formats/image.h>
 
 #include "../../driver.h"
 #include "../../general.h"
@@ -20,12 +26,7 @@
 #include "../video_monitor.h"
 #include "../drivers/gl_common.h"
 
-#include <EGL/egl.h>
-
-#include "../../frontend/drivers/platform_android.h"
-#include <formats/image.h>
-
-#include <stdint.h>
+#include "../../frontend/drivers/platform_linux.h"
 
 /* forward declaration */
 int system_property_get(const char *name, char *value);
diff --git a/input/drivers/android_input.c b/input/drivers/android_input.c
index 77e70e4f69..ee080f62bd 100644
--- a/input/drivers/android_input.c
+++ b/input/drivers/android_input.c
@@ -22,7 +22,7 @@
 
 #include <retro_inline.h>
 
-#include "../../frontend/drivers/platform_android.h"
+#include "../../frontend/drivers/platform_linux.h"
 #include "../input_autodetect.h"
 #include "../input_common.h"
 #include "../input_joypad.h"
diff --git a/menu/menu_displaylist.c b/menu/menu_displaylist.c
index 0bb3cd86a4..0f465936df 100644
--- a/menu/menu_displaylist.c
+++ b/menu/menu_displaylist.c
@@ -33,8 +33,8 @@
 #include "../git_version.h"
 #include "../file_ext.h"
 
-#ifdef ANDROID
-#include "../frontend/drivers/platform_android.h"
+#ifdef __linux__
+#include "../frontend/drivers/platform_linux.h"
 #endif
 
 extern unsigned rpl_entry_selection_ptr;