ECF Adjustments

* Modified ECF because primary library target was not available in
Eiffel Studio.