const char* const version_version="0.8.0.$WCREV$";
const char* const version_build="$WCNOW$";