fix refresh_doxygen