Random_ext: remove temporary file.