Switch to git-based build infrastructure. Code unchanged.