android: fix build