Fix mktemp in doctor to work under Linux systems.