Merge "HAVE_ANDROID_OS implies that you have <pthread.h> and <sched.h>."