introduced gtk_android_exit() to simplify the activity termination