android fixes

src/sdl-instead/game.c

@@ -2702,8 +2702,12 @@ int game_loop(void)
 				game_menu_act("/new");
 				shift_pressed = alt_pressed = 0;
 			} else if (!is_key(&ev, "f10")) {
+#ifdef ANDROID
+				break;
+#else
 				mouse_reset(1);
 				game_menu(menu_askquit);
+#endif
 			} else if (!alt_pressed && (!is_key(&ev, "return") || !is_key(&ev, "enter") 
 			#ifdef S60
 				|| !is_key(&ev, ".")

src/sdl-instead/menu.c

@@ -644,9 +644,11 @@ int game_menu_act(const char *a)
 
 void custom_theme_warn(void)
 {
+#ifndef ANDROID
 	if (game_own_theme && !opt_owntheme && cur_menu != menu_warning) {
 		game_menu(menu_custom_theme);
 	}
+#endif
 }