Seed random for Linux. Minor changes to tests.