1 files changed, 1 insertions, 2 deletions
diff --git a/pdftool.pl b/pdftool.pl
index ac08c80..bb4d3dc 100755
--- a/pdftool.pl
+++ b/pdftool.pl
@@ -198,8 +198,7 @@ if ($filetype eq "PDF") {
         # Need to copy the whole input to an auxiliary file, since
         # conversion from PDF to PS requires random access to the data
         
-        $infile = "$tmpdir/pdftool-stdin-" . 
-                      int(rand 2**16) . lc ".$filetype";
+        $infile = "$tmpdir/pdftool-stdin-$$" . lc ".$filetype";
 
         open FIN2, '>', "$infile"
             or die "Can't write into `$infile': $!";