const char* dino_get_version ()
{
    return "@VERSION@";
}