Bundle updated eiffel-mode.el rather than eiffel3.el?