How to install libpgtcl on Debian 9 (Stretch)