Probably a good idea because of the reverted Event-B EMF dependencies. This also matches what I wrote in the release history.
