run_doxygen now working, drop dbg echo