--- old/make/Jprt.gmk	2017-10-05 11:55:54.116873601 +0200
+++ new/make/Jprt.gmk	2017-10-05 11:55:53.856877706 +0200
@@ -104,4 +104,4 @@
 
 ################################################################################
 
-$(eval $(call IncludeCustomExtension, , Jprt.gmk))
+$(eval $(call IncludeCustomExtension, Jprt.gmk))