Sorry, I was wrong, the DLL was missing but that was not really the problem. The problem was that I had the wrong version of the EiffelSoftware.Runtime.dll. I had the version from March 2nd 2008 (attached to this interaction).