If doxygen.exe is not found in bin\win32\dev\, a copy of doxygen.exe in the path will be used.