Bugfix: Insecure random number generator #180