IBT: Fixes to Cmake install, for debian package