Add arc4random for OpenBSD