--- old/make/CompileToolsJdk.gmk	2017-10-05 11:55:52.228903407 +0200
+++ new/make/CompileToolsJdk.gmk	2017-10-05 11:55:51.992907132 +0200
@@ -32,7 +32,7 @@
 
 ################################################################################
 
-$(eval $(call IncludeCustomExtension, , CompileTools.gmk))
+$(eval $(call IncludeCustomExtension, CompileTools.gmk))
 
 ################################################################################