#include"version.h" const char *version_string = "@VERSION@";