Some systems have arc4random() but not arc4random_buf()