How to install cafeobj on Debian 9 (Stretch)