[ref_impl_eiffel] [672] Revert the last revision, because it didn't fix the build on the CruiseControl server.

Revision: 672
Author: peter.gummer

Log Message: