diff --git a/packages/Dialect.defs.in b/packages/Dialect.defs.in
index 8bdf4f136..17e1abebc 100644
--- a/packages/Dialect.defs.in
+++ b/packages/Dialect.defs.in
@@ -56,8 +56,8 @@ MKINDEX=$(PL) -f none -g make -t halt
 	swipl -f script.pl -g "doc_latex('$*.txt','$*.tex',[stand_alone(false)]),halt" -t "halt(1)"
 
 
-PUBLICPL=swipl
-PLTOTEX=$(PUBLICPL) -q -s pltotex.pl -g pltotex --
+PUBLICPL=$(PL)
+PLTOTEX=$(PUBLICPL) -q -l $(srcdir)/pltotex.pl -g pltotex --
 
 #
 # find out how to generate .o files from $(scrdir)