note about Eiffel file extension conflict added.