android: fix type punning warning