Build-fix for Android.

This should be the last of them, hopefully..