Proper naming of temp files in /tmp 

This allows to identify stale serialization temp files.  For easier cleanup in /tmp.