diff -Nru libglkernel-1.0.0+79~ubuntu17.10.1/debian/changelog libglkernel-1.0.0+80~ubuntu17.10.1/debian/changelog
--- libglkernel-1.0.0+79~ubuntu17.10.1/debian/changelog	2018-02-21 16:46:23.000000000 +0000
+++ libglkernel-1.0.0+80~ubuntu17.10.1/debian/changelog	2018-02-21 17:02:29.000000000 +0000
@@ -1,8 +1,8 @@
-libglkernel (1.0.0+79~ubuntu17.10.1) artful; urgency=low
+libglkernel (1.0.0+80~ubuntu17.10.1) artful; urgency=low
 
   * Auto build.
 
- -- Willy Scheibel <willyscheibel@gmx.de>  Wed, 21 Feb 2018 16:46:23 +0000
+ -- Willy Scheibel <willyscheibel@gmx.de>  Wed, 21 Feb 2018 17:02:29 +0000
 
 libglkernel (1.0.0-0) unknown; urgency=low
 
diff -Nru libglkernel-1.0.0+79~ubuntu17.10.1/debian/git-build-recipe.manifest libglkernel-1.0.0+80~ubuntu17.10.1/debian/git-build-recipe.manifest
--- libglkernel-1.0.0+79~ubuntu17.10.1/debian/git-build-recipe.manifest	2018-02-21 16:46:23.000000000 +0000
+++ libglkernel-1.0.0+80~ubuntu17.10.1/debian/git-build-recipe.manifest	2018-02-21 17:02:29.000000000 +0000
@@ -1,3 +1,3 @@
-# git-build-recipe format 0.4 deb-version {debupstream}+79
-lp:glkernel git-commit:88e81d0d6b2244d1aec593fc67b8ae55339bae54
-nest-part packaging lp:glkernel deploy/ubuntu-ppa/debian debian git-commit:88e81d0d6b2244d1aec593fc67b8ae55339bae54
+# git-build-recipe format 0.4 deb-version {debupstream}+80
+lp:glkernel git-commit:245e361004f021533be9bd5790ae20aab385e65c
+nest-part packaging lp:glkernel deploy/ubuntu-ppa/debian debian git-commit:245e361004f021533be9bd5790ae20aab385e65c
diff -Nru libglkernel-1.0.0+79~ubuntu17.10.1/debian/rules libglkernel-1.0.0+80~ubuntu17.10.1/debian/rules
--- libglkernel-1.0.0+79~ubuntu17.10.1/debian/rules	2018-02-21 16:46:23.000000000 +0000
+++ libglkernel-1.0.0+80~ubuntu17.10.1/debian/rules	2018-02-21 17:02:29.000000000 +0000
@@ -11,7 +11,7 @@
 
 build-arch:
 	mkdir $(BUILDDIR)
-	cd $(BUILDDIR);cmake -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=/usr -DOPTION_BUILD_TESTS=Off -DOPTION_BUILD_EXAMPLES=Off -DOPTION_BUILD_DOCS=On ..
+	cd $(BUILDDIR);cmake -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=/usr -DOPTION_BUILD_TESTS=Off -DOPTION_BUILD_EXAMPLES=Off -DOPTION_BUILD_TOOLS=Off -DOPTION_BUILD_DOCS=On ..
 	make -C $(BUILDDIR)
 
 # thirdly called by launchpad
diff -Nru libglkernel-1.0.0+79~ubuntu17.10.1/deploy/ubuntu-ppa/debian/rules libglkernel-1.0.0+80~ubuntu17.10.1/deploy/ubuntu-ppa/debian/rules
--- libglkernel-1.0.0+79~ubuntu17.10.1/deploy/ubuntu-ppa/debian/rules	2018-02-21 16:46:23.000000000 +0000
+++ libglkernel-1.0.0+80~ubuntu17.10.1/deploy/ubuntu-ppa/debian/rules	2018-02-21 17:02:29.000000000 +0000
@@ -11,7 +11,7 @@
 
 build-arch:
 	mkdir $(BUILDDIR)
-	cd $(BUILDDIR);cmake -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=/usr -DOPTION_BUILD_TESTS=Off -DOPTION_BUILD_EXAMPLES=Off -DOPTION_BUILD_DOCS=On ..
+	cd $(BUILDDIR);cmake -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=/usr -DOPTION_BUILD_TESTS=Off -DOPTION_BUILD_EXAMPLES=Off -DOPTION_BUILD_TOOLS=Off -DOPTION_BUILD_DOCS=On ..
 	make -C $(BUILDDIR)
 
 # thirdly called by launchpad