#define GITHUB_SHA "38be1d6"