ANDROID: Fix Android pre3.1 compatibility.

This was broken by a50ede203b0424d800d2a1d4460121f9f1de8e7a.