Fix for Android PRNG bug.

This applies the recommended application-level workaround for the
apparent Android PRNG security vulnerability.

http://android-developers.blogspot.com/2013/08/some-securerandom-thoughts.html
Minor fix