fixing https (doxygen1.8.9)