var GUI_VERSION_NUMBER = "@VERSION@" var GUI_VERSION_TAG = "@VERSION_TAG_GUI@"; var GUI_VERSION = GUI_VERSION_NUMBER + "-" + GUI_VERSION_TAG