How to install doctest on Debian 9 (Stretch)