@nlneilson: touchy!? did you perhaps produce that heinous travesty?
In idefile.cpp [305] and Util.cpp [54 & 59] the extension '.$tmp'
is already used.
A logical and _consistent_ continuation would be to use this
extension elsewhere as well, or if that will clash, to at least
use the '$' character _consistently_ to indicate upp-private
temporary files, e.g '.$xxx'.
Anyway, on Linux there is a /tmp directory for exactly these kind
of files, or for persistent discardable data /var/tmp is
available. To use them in this case would require a
'#ifdef PLATFORM_POSIX' ...?