description: "Eiffel's contrib libraries compilation"