Maybe you should recompile it, except whenever you do the configure setup, see if their is a flag for Eiffel? I don't know much about eiffel, so maybe you have to configure eiffel or something, but just run a ./configure --help if you decide that you want to try and recompile.
Justin