doxygen: needs python to build.