SimGrid upgrade (3.9 to 3.11.1)

Is this a non-optional, runtime dependency? I just ask because it's big :(