Upgrade to SimGrid 3.9