android-gui includes dexter_aux.dex