libmarkdown2-dev is a jenkins dependency