now using LibertyEiffel's latest commits packages