arvidn 0c189e08b5 use /dev/random as random number source on macOS		2017-01-15 12:18:08 -05:00
..
libtorrent	use /dev/random as random number source on macOS	2017-01-15 12:18:08 -05:00