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