diff -r eb28be8f935d -r 743814386712 make/CompileToolsJdk.gmk
--- a/make/CompileToolsJdk.gmk	Thu Oct 05 11:02:18 2017 +0200
+++ b/make/CompileToolsJdk.gmk	Thu Oct 05 12:41:06 2017 +0200
@@ -32,7 +32,7 @@
 
 ################################################################################
 
-$(eval $(call IncludeCustomExtension, , CompileTools.gmk))
+$(eval $(call IncludeCustomExtension, CompileTools.gmk))
 
 ################################################################################