Directory fixes and more silencing of doxy.sh.