diff --git a/share/web2c/pdftex.def b/share/web2c/pdftex.def
new file mode 100644
index 0000000000..00781cf1f4
--- /dev/null
+++ b/share/web2c/pdftex.def
@@ -0,0 +1 @@
+\catcode`@=11\def\Gin@extensions{.pdf,.png,.jpg,.mps,.tif}\catcode`@=12