Workaround for broken build because of GitVersionTask
Workaround for broken build because of GitVersionTask

See: https://github.com/boogie-org/boogie/pull/213

boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral