API generator: fix android build