CMakeLists.txt: added debian-specific stuff