Make seeding random by default