use dev random for seed