SimGrid upgrade (3.9 to 3.11.1)

I have tested it on 10.8 and 10.9. On 10.9 it seems to be optional, but on 10.8 the package does not compile without it... :/