[ref_impl_eiffel] [678] Still trying to fix the build on the CruiseControl server.

Revision: 678
Author: peter.gummer

Log Message: