better version numbering: added Liberty Eiffel's version number