use mktemp instead of the debian specific tempfile