Fixed SimGrid sha1 hash

Fixed a problem with the sha1 hash of SimGrid…