Fix of a problem in the build system

- Fixed a but in the build system that caused a build fail when
  doxygen was missing.