How to install jikespg on Debian 9 (Stretch)