Use arc4random to seed the random number generator

It's better than what's there.