Fix compilation breakage for Android

Presumably helps for iOS, too.

Change-Id: Idadfa9c70b8206c6820f6c13374909f8d26ffd04