Doxygen 1.7.5.1 had been used as reference while certain distributions
provide older and not fully compatible versions.