Android: Fix GCM push build