Build script now works even if doxygen isn't available