How to install libgetopt++-dev on Debian 9 (Stretch)