Replaced calls to Filename.temp_file by own version Driveraux.tmp_file.

The Driveraux.tmp_file function takes care that the temporary files are
removed at exit.

Consequently there is no need to explicitly remove temp files in Driver.