we need doxygen, and I fail to see who's creating the VERSION file