Use Google's fix for the PRNG mess

Source: http://android-developers.blogspot.de/2013/08/some-securerandom-thoughts.html