Another fix for the android build.