Add missing headers needed for Android userspace