BUG: Fix initialization of TubeTK_USE_DOXYGEN