The question is about "Please note that SmartEiffel should not be
already installed on your system. Particularily, any /etc/serc file will
prevent you from installing Liberty " Which is still in the INSTALL
file. Is it true and does it need to be (temporarily) removed for
Liberty installation? We should give the user this advice in the INSTALL
Oh sorry, I missed that file. It is changed locally but not commited. I'll do that asap.