How to install khronos-api on Debian 9 (Stretch)