Fixed a compilation error for android.