const char *get_dfhack_version();