arc4random() was not being used when available. Fixed this. Only
	configuration script is changed; no code changes.