Doxygen: lots of headaches. dead end?