SimGrid upgrade (3.9 to 3.11.1)