Bug 859830: determine Android API level through android/api-level.h instead.