Android: Silence a few warnings