boolector gyp script