change kompile to use unique temp files