Android: fix build