be sure that the version displayed by se_make is correct (defer to compile_to_c)
flags -v / --version are reserved for SmartEiffel usage (esp. se -v)
avoid installing "run" (not ready)