Fix mktemp in doctor to work under Linux systems.

This change replaces the hard coded /usr/bin/mktemp to locate it in /bin as well so that it works under Linux systems.