We include the generated file in the distribution, so users won't have run configure if they are building for Android.