travis doxygen fixes