Fixed a build problem for Android