How to install libtrilinos-kokkos-dev on Debian 9 (Stretch)