ANDROID: Fix casting away const