Doxygen: replacing build script with one from Core