Update CMakeLists.txt, libtoki/CMakeLists.txt files

2 jobs for deb in 5 minutes and 22 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #888
build_deb

00:04:54

 
  Deploy
passed #889
push_deb

00:00:28