diff --git a/base/proposal.pdf b/base/proposal.pdf
index 3e36521..a088e2a 100644
Binary files a/base/proposal.pdf and b/base/proposal.pdf differ
diff --git a/dfg/dfgproposal.pdf b/dfg/dfgproposal.pdf
index 3e477d5..08c88d5 100644
Binary files a/dfg/dfgproposal.pdf and b/dfg/dfgproposal.pdf differ
diff --git a/eu/euproposal.pdf b/eu/euproposal.pdf
index 0b9c8a4..ae7322c 100644
Binary files a/eu/euproposal.pdf and b/eu/euproposal.pdf differ
diff --git a/lib/Makefile.in b/lib/Makefile.in
index e29e467..5e7809c 100644
--- a/lib/Makefile.in
+++ b/lib/Makefile.in
@@ -86,5 +86,5 @@ lctan: filedate
 
 # sometimes (when bibLaTeX changes) we have to rerun biber; use make -B biber
 biber:
-	pdflatex $(DTX.base:%=%.dtx)
+	$(PDFLATEX) $(DTX.base:%=%.dtx)
 	biber $(DTX.base)