Fix random seeding for Linux