Add missing header inclusion for Android from 1c764dbe