Try a different rand provider.