Make it work on g++4.8 and doxygen 1.8.6

(Shipped with Ubuntu 14.04)