I used the automatic build script: geant -b $EIFFEL_SRC/scripts/build.eant build_es I first cleaned everything in sight (targets clean_es, clean_finish_freezing, etc). I then renamed the EiffelXX directory that was created and pointed my ISE_EIFFEL environment variable to it (in a script which sets up my Eiffel environment, including changing PATH variable). I'm not at home so I can't be certain but I believe I was using the ecdbgd executable created by the automatic build script (and I'm assuming this build script did in fact recompile and relink ecdbgd). Perhaps we should just leave this open until the next official build comes out. I will then test this to see whether it is fixed (and if it is, there must be something wrong with the automatic build script or the way I invoked it).