Add missing include, req'd on Android build.