Fix android-app.tex