cleanup for Eiffel library builds