Installare Live Navigator su Linux: installare un license manager?