Android 5.1.1 release 12
am 69f5594e: (-s ours) Cherry-pick "Use lrand48 on Android" [DO NOT MERGE]

* commit '69f5594ef6a4a13fac8b001421b302a9a0b4a009':
  Cherry-pick "Use lrand48 on Android" [DO NOT MERGE]