Eiffel binary management