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