Yes. I just did a build with 5.7.65008 Enterprise Edition. It's EiffelSoftware.Runtime.dll. I get the impression that a few changes may have been lost when you branched 5.7 from the development mainline. The Refactoring menu was another late change that got lost in 6.0.