The license file was renamed with 6a502cc2f5
6a502cc2f5
This makes it so that they don't need parallel RNG seed passing infrastructure for randomized data generation (e.g. inputs for benchmarks).