need info!
try to work accross different LibertyEiffel installs