Add missing #include to fix Android build.