Fix: CLI doc compilation under debian 6