Use an external shell script to run Doxygen, so we can set the PATH in it and find dot