--- old/make/ReleaseFile.gmk	2017-10-05 11:55:55.384853584 +0200
+++ new/make/ReleaseFile.gmk	2017-10-05 11:55:55.144857373 +0200
@@ -80,7 +80,7 @@
 
 ################################################################################
 
-$(eval $(call IncludeCustomExtension, , ReleaseFile.gmk))
+$(eval $(call IncludeCustomExtension, ReleaseFile.gmk))
 
 ################################################################################