Filename misprint for Android generation