Fixed Linux GCC build, and Doxygen