[ref_impl_eiffel] [1268] Add missing quotes to the diff command lines.

Revision: 1268
Author: peter.gummer
Log Message: