Updated Eiffel Configuration Files names.