Use a random temporary file instead of a named one, should potentially fix #64