--- CMakeLists.txt.bak	2017-10-02 08:24:20.064257777 +0200
+++ CMakeLists.txt	2017-10-02 08:25:14.400254219 +0200
@@ -809,7 +809,7 @@
               man/ctpp2i.1
               man/ctpp2json.1
               man/ctpp2vm.1
-        DESTINATION man/man1
+        DESTINATION share/man/man1
         PERMISSIONS OWNER_READ OWNER_WRITE
                     GROUP_READ
                     WORLD_READ)