sudo dpkg -i gskcrypt64_8.0-55.24_amd64.deb
sudo dpkg -i gskssl64_8.0-55.24_amd64.deb
sudo dpkg -i tivsm-api64_8.1.13-1_amd64.deb
sudo dpkg -i tivsm-ba_8.1.13-1_amd64.deb

sudo cp ISP.conf /etc/ld.so.conf.d
sudo ldconfig