Older mktemp does not support filename extensions (issue #3)