Liberty Eiffel is now the GNU Eiffel Compiler.