use srandom for now since srandomdev is not as common, fixes #3