make android build happy.