Fixed: Builder.exe now also reports the name of doxygen...