Bug#775193: djvudigital: insecure use of /tmp

[Barak A. Pearlmutter]

Fair enough. I suppose something like this would do?

if type -P mktemp > /dev/null; then ...; else ...; fi