patch for compatibility with last SimGrid offline replay as proposed by Augustin